1. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده: / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
2. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده: Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
3. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده: Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
4. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده: / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
5. Constructivism in mathematics
پدیدآورنده: / A.S. Troelstra, D. van Dalen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constructive mathematics.
رده :
QA
,
9
.
56
,.
T74
,
1988
6. Constructivism in mathematics
پدیدآورنده: Troelstra, Anne Sjerp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
7. Constructivism in mathematics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constructive mathematics. ;
8. Constructivism in mathematics
پدیدآورنده: A.S. Troelstra, D. van Dalen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Constructive mathematics
رده :
QA
.
T74
9
.
56
1988
9. Constructivism in mathematics :
پدیدآورنده: A.S. Troelstra, D. van Dalen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Constructive mathematics
رده :
QA9
.
56
.
T74
1988
10. Constructivism in mathematics : an introduction
پدیدآورنده: Troelstra, A. S.)Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
11. Dirk van Dalen Festschrift
پدیدآورنده: Henk Barendregt, Marc Bezem, Jan Willem Klop (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Dalen, D. van -- (Dirk), -- 1932-,Logic, Symbolic and mathematical.,Logica.
رده :
QA9
.
H465
1993
12. Geographical information systems and landscape archaeology /
پدیدآورنده: edited by Mark Gillings, David Mattingly and Jan van Dalen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Archaeology-- Data processing, Congresses,Archaeology-- Methodology, Congresses,Excavations (Archaeology)-- Data processing, Congresses,Geographic information systems, Congresses,Landscape archaeology-- Mediterranean Region, Congresses
13. Logic Colloquium, 1980
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic And Mathematical. ;
14. Logic Colloquium, 1978
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and Mathematical. ;
15. Logic Colloquium '78
پدیدآورنده: / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L63
,
1978
16. Logic Colloquium '80
پدیدآورنده: / edited by D. van Dalen, D. Lascar, T.J. Smiley. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
BC
,
135
,.
L57
,
1982
17. Logic Colloquium, 1978
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
18. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده: edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
19. Logic and Structure
پدیدآورنده: / Dirk Van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic Circuits.,Logic Design.
رده :
TK7888
,.
4
.
D
3
20. Logic and structur
پدیدآورنده: / Dirk van Dalen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
